1. Challenges for action theories
پدیدآورنده : Thielscher, Michael
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Computer logic,، System design,، Formal methods )Computer science(
رده :
QA
76
.
L28
Vol
.
1775